void ptf2() ; 